Stal O. Aanderaa: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

On the Minimum Computation Time of Functions

Cook, Stephen A., Aanderaa, Stal O.

Journal:

Transactions of the American Mathematical Society

Year:

1969

Language:

english

File:

PDF, 524 KB

english, 1969

2

[Studies in Logic and the Foundations of Mathematics] WORD PROBLEMS II Volume 95 || Modular Machines and The Higman-Clapham-Valiev Embedding Theorem

Aanderaa, Stäl

Year:

1980

Language:

english

File:

PDF, 723 KB

english, 1980

3

[Studies in Logic and the Foundations of Mathematics] WORD PROBLEMS II Volume 95 || Modular Machines, The Word Problem for Finitely Presented Groups and Collins' Theorem

Aanderaa, Stål

Year:

1980

Language:

english

File:

PDF, 916 KB

english, 1980

4

[Studies in Logic and the Foundations of Mathematics] Word Problems - Decision Problems and the Burnside Problem in Group Theory Volume 71 || A Proof of Higman's Embedding Theorem Using Britton Extensions of Groups

Aanderaa, Stål

Year:

1973

Language:

english

File:

PDF, 789 KB

english, 1973

5

Prefix classes of krom formulae with identity

Stal O. Aanderaa, Egon Börger, Yuri Gurevich

Journal:

Archive for Mathematical Logic

Year:

1980

Language:

english

File:

PDF, 347 KB

english, 1980

6

The Finite Controllability of the Maslov Case

Stål Aanderaa and Warren D. Goldfarb

Journal:

Journal of Symbolic Logic

Year:

1974

Language:

english

File:

PDF, 573 KB

english, 1974

7

Decision Problems for Tag Systems

Stål Aanderaa and Dag Belsnes

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 988 KB

english, 1971

8

Prefix Classes of Krom Formulas

Stål O. Aanderaa and Harry R. Lewis

Journal:

Journal of Symbolic Logic

Year:

1973

Language:

english

File:

PDF, 385 KB

english, 1973

9

Linear Sampling and the |forall |exists |forall Case of the Decision Problem

Stal O. Aanderaa and Harry R. Lewis

Journal:

Journal of Symbolic Logic

Year:

1974

Language:

english

File:

PDF, 1.52 MB

english, 1974

10

The Solvability of the Halting Problem for 2-State Post Machines

Aanderaa, Stål, Fischer, Patrick C.

Journal:

Journal of the ACM

Year:

1967

Language:

english

File:

PDF, 354 KB

english, 1967

11

Conservative reduction classes of Krom formulas

Aanderaa, Stål O., Börger, Egon, Lewis, Harry R.

Journal:

Journal of Symbolic Logic

Year:

1982

Language:

english

File:

PDF, 1.27 MB

english, 1982

12

[Studies in Logic and the Foundations of Mathematics] Generalized Recursion Theory - Proceedings of the 1972 Oslo Symposium Volume 79 || Inductive Definitions and Their Closure Ordinals

Aanderaa, Stål

Year:

1974

Language:

english

File:

PDF, 620 KB

english, 1974

13

[Studies in Logic and the Foundations of Mathematics] Proceedings of the Second Scandinavian Logic Symposium Volume 63 || On the Decision Problem for Formulas in which all Disjunctions are Binary

AANDERAA, Stal O.

Year:

1971

Language:

english

File:

PDF, 774 KB

english, 1971

14

Search for good examples of Hall’s conjecture

Aanderaa, Stål, Kristiansen, Lars, Ruud, Hans Kristian

Journal:

Mathematics of Computation

Year:

2018

File:

PDF, 217 KB

2018

15

False lemmas in Herbrand

Dreben, Burton, Andrews, Peter, Aanderaa, Stål

Journal:

Bulletin of the American Mathematical Society

Year:

1963

File:

PDF, 860 KB

1963

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски